Mutual exclusion - PDFSEARCH.IO - Document Search Engine

Mutual exclusion
Results: 185

#	Item
101	Weighted Mutual Exclusion Bootstrapping for Domain Independent Lexicon and Template Acquisition Tara McIntosh and James R. Curran School of IT University of Sydney NSW 2006, Australia Add to Reading List Source URL: www.alta.asn.au Language: English - Date: 2008-10-31 17:51:38 Science Semantics WMEB Word-sense disambiguation Information retrieval Cyc Natural language processing Linguistics Computational linguistics
102	Algorithmic Verification The software crisis (and hardware as well) Algorithmic Verification Comp4151 Lecture 1-B Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-06-05 00:33:08 Model checking Ansgar Lock Communications protocol Thread Critical section Concurrency control Computing Mutual exclusion
103	35 An Introduction to Programming with Threads by Andrew D. Birrell Add to Reading List Source URL: cgi.cse.unsw.edu.au Language: English - Date: 2003-04-05 18:40:06 Software engineering Thread Lock Critical section Monitor Mutual exclusion Synchronization Parallel computing Global variable Concurrency control Computing Computer programming
104	Deriving Linearizable Fine-Grained Concurrent Objects Martin Vechev Eran Yahav IBM Research Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:24:16 Concurrency Linearizability Algorithm Tree traversal Mutual exclusion Non-blocking algorithm Concurrent data structure Parallel computing Priority queue Concurrency control Computing Data management
105	Automatic Synthesis of Deterministic Concurrency Veselin Raychev1 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich {veselin.raychev,martin.vechev}@inf.ethz.ch Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2013-04-17 10:02:32 Concurrent computing Thread Synchronization Deadlock Parallel computing Algorithm Lock Mutual exclusion Computer programming Concurrency Computing Computer science
106	Laws of Order: Expensive Synchronization in Concurrent Algorithms Cannot be Eliminated Hagit Attiya Rachid Guerraoui Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:22:54 Computing Linearizability Mutual exclusion Algorithm Parallel computing Non-blocking algorithm Compare-and-swap Lock Function Concurrency control Mathematics Concurrency
107	NUMA-Aware Reader-Writer Locks Irina Calciu Dave Dice Yossi Lev Add to Reading List Source URL: blogs.oracle.com Language: English - Date: 2013-01-07 10:10:37 Concurrent computing Readers–writer lock Lock Non-blocking algorithm Linearizability Parallel computing Mutual exclusion Software transactional memory Deadlock Concurrency control Computing Concurrency
108	thrpt-abortable-hogwarts-CR-2CB-nCR-4usecs.eps Add to Reading List Source URL: blogs.oracle.com Language: English - Date: 2011-12-22 08:47:05 Computer programming Lock Spinlock Non-blocking algorithm Ticket lock Deadlock Parallel computing Mutual exclusion Test-and-set Concurrency control Computing Concurrency
109	Threading in C# Joseph Albahari Last updated[removed]Interested in a book on C# and .NET by the same author? See www.albahari.com/nutshell/ Add to Reading List Source URL: www.albahari.info Language: English - Date: 2015-02-19 08:34:49 Concurrency control Computer programming Multithreading Monitor Reentrancy Critical section Lock Mutual exclusion Central processing unit Computing Concurrent computing Threads
110	Automatic Mutual Exclusion and Atomicity Checks Mart´ın Abadi1,2 1 2 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-07-21 20:04:04 Predicate logic Models of computation Formal methods Computability theory Lambda calculus Theoretical computer science Mereology Modal logic Free variables and bound variables Logic Mathematics Mathematical logic